نتایج جستجو برای: State Space
تعداد نتایج: 1287717 فیلتر نتایج به سال:
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
هدف از این مطالعه بررسی نقش عوامل بنیانی قابل مشاهده و غیر قابل مشاهده در انحراف نرخ ارز اسمی بازار غیر رسمی ایران طی دوره ی زمانی (1370:1- 1390:3) می باشد. برای این منظور از یک الگوی ارزش فعلی نرخ ارز اسمی استفاده شده که این الگو با به کارگیری روش قیمت گذاری دارایی و الگوی پولی نرخ ارز اسمی، استخراج شده است. برای بررسی نقش عوامل بنیانی، سهم واریانس هر یک از این عوامل در تجزیه واریانس انحراف نر...
in this article, the discrete time state space model with first-order autoregressive dependent process noise is considered and the recursive method for filtering, prediction and smoothing of the hidden state from the noisy observation is designed. the explicit solution is obtained for the hidden state estimation problem. finally, in a simulation study, the performance of the designed method ...
با توجه به اهمیت پیش بینی، صحت و دقت آن در شرایط مختلف اقتصادی به ویژه بازارهای مالی ، در این مقاله سعی بر آن شده تا با به کار بستن رویکرد تبدیل موجکی که از علم فیزیک و به ویژه علم تحلیل سیگنال نشات گرفته است به امر حذف نویزهای موجود در داده های بازار سهام و با تاکید بر شاخص تپیکس و به عبارت دیگر، پاک سازی نویز موجود در داده های این شاخص بپردازیم. همانطور که از نتایج به دست آمده نیز پیداست، نو...
The standard state-spaces of asymmetric information preclude non-trivial forms of unawareness (Modica and Rustichini, 1994, Dekel, Lipman and Rustichini, 1998). We introduce a generalized state-space model that allows for non-trivial unawareness among several individuals, and which satisfies strong properties of knowledge as well as all the desiderata on unawareness proposed this far in the lit...
We are often interested in finding out if a given predicate on states of a system can be satisfied in any or all of the systems reachable states. To determine this, one approach is to calculate the complete set of reachable states and evaluate the predicate on each of these states. To know which states we have already examined and which we have yet to examine—and thus knowing when we have exami...
Drew Fudenberg and two referees for helpful comments.
در این مطالعه به بررسی و تخمین پارامترها با استفاده از مدل state space در فرم arimaپرداخته می شود . سپس با استفاده از پارامترهای تخمین زده شده و روش شبیه سازی مونت کارلو به عنوان ابزاری برای افزایش دقت پیش بینی فرآیندهای تصادفی، به پیش بینی برای کوتاه مدت، میان مدت و بلند مدت برای شاخص تپیکس پرداختیم که شامل 739 داده روزانه مربوط به 1 بهمن سال 1389 تا 30 بهمن سال 1392 به عنوان درون داده و نیز ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید